$\forall$${\it es}$:event\_system\{i:l\}, $d$,$b$,$a$:es{-}E(${\it es}$).
\\[0ex]es{-}le(${\it es}$; $a$; $b$) $\Rightarrow$ es{-}le(${\it es}$; $a$; $d$) $\Rightarrow$ ($\parallel$[$a$, $b$]$\parallel$ = $\parallel$[$a$, $d$]$\parallel$ $\in$ $\mathbb{Z}$) $\Rightarrow$ ($b$ = $d$)